Rapid Prototyping of Routing Protocols with Evolving Tuples

Developing software for dynamic pervasive computing networks can be an intimidating prospect. While much research has focused on developing and describing algorithms and protocols for these environments, the process of deploying these technologies is far from mature or streamlined. Furthermore, the heterogeneity of computing platforms present in pervasive computing networks can make the deployment task unapproachable. In this paper, we demonstrate how the evolving tuples model can address the development and deployment concerns associated with pervasive computing networks. Specifically, we show how evolving tuples can be used to drive a principled protocol derivation process, enabling rapid deployment of incremental implementations on real networks. Because the evolving tuples infrastructure serves as a unifying base across heterogeneous platforms, developers can quickly deploy and test implementations without having to reprogram individual devices. This paper overviews the evolving tuples model and applies it to an example of protocol derivation for pervasive computing networks.